81. The foundations of mathematics
پدیدآورنده : / by Frank Plumpton Ramsey
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
82. The language of logic
پدیدآورنده : / a programed text [by] Morton L. Schagrin.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی -- آموزش برنامه ای
رده :
BC
۱۳۵
/
ش
۲
ل
۹ ۱۳۴۷
83. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
پدیدآورنده :
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ع‍ل‍وم روش‌ش‍ن‍اس‍ی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
84. The logic of knowledge bases
پدیدآورنده : / Hector J. Levesque and Gerhard Lakemeyer
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ش‍ن‍اخ‍ت ن‍م‍ای‍ی (ن‍ظری‍ه اطلاع‍ات),س‍ی‍س‍ت‍م‍ه‍ای خ‍ب‍ره (ک‍ام‍پ‍ی‍وت‍ر),منطق ریاضی
رده :
Q
۳۸۷
/
ل
۹
ل
۲ ۱۳۷۹
85. The Logical syntax of language
پدیدآورنده : /by Rudlof carnap,ک‍ارن‍اپ,Carnap
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,دستور زبان تطبیقی, -- نحو,اث‍ب‍ات‌گ‍رای‍ی منطقی
رده :
BC
۱۳۵
/
ک
۲
ل
۲ ۱۳۱۶
86. The nature of mathematics: a critical survey
پدیدآورنده : / Max Black
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
87. Topics in decision problem being an investigation there of in the domains of the first ...
پدیدآورنده : /a monograph by M. S. Adib-SoltÀni .,ادی‍ب س‍ل‍طان‍ی,Adib Soltani
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
88. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
89. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
90. Tractatus Logico-Philosophicus
پدیدآورنده : /Ludwing Wittgenstein.,ویتگنشتاین,Wittgenstein
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی, -- فلسفه
رده :
QA
۹
/
و
۹
ت
۴ ۱۳۴۰
91. Tractatus Logico-Philosophicus
پدیدآورنده : \ Ludwig Wittgenstein; translated by D.F. Pears and B.F. McGuinness; with an introduction by Bertrand Russell.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,Language and logic.,منطق ریاضی ,زبان و منطق
رده :
B3376
.
W56T73
2014
92. Tractatus logico-philosophicus
پدیدآورنده : / by Ludwig Wittgenstein,ویتگنشتاین,Wittgenstein
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,زبان, -- فلسفه, -- فلسفه
رده :
B
۳۳۷۶
/
و
۹
ت
۴ ۱۳۴۲
93. Tractatus logico -philosophicus
پدیدآورنده : / by Ludwig Wittgenstein with an introduction by Bertrand Russell, F. R. S.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی -- فلسفه
رده :
QA
۹
/
و
۹
ت
۴ ۱۳۸۰
94. Tractatus logico-philosophicus
پدیدآورنده : / by Ludwig Wittgenstein,ویتگنشتاین,Wittgenstein
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,زبان, -- فلسفه, -- فلسفه
رده :
B
۳۳۷۶
/
و
۹
ت
۴ ۱۳۱۲
95. Understanding symbolic logic
پدیدآورنده : / Virginia Klenk
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical
رده :
BC135
.
K53
96. What Logics Mean
پدیدآورنده : / James W. Garson
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
97. Wittgenstein and the End of Philosophy
پدیدآورنده : \ Daniel D. Hutto
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پ‍ژوه‍ش‍ه‍ای فلسفی
رده :
E-Book
,
98. Wittgenstein and the end of philosophy
پدیدآورنده : / Daniel D. Hutto.,هاتو,Hutto
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م., . رساله منطقی - فلسفی,منطق ریاضی,زبان, -- فلسفه
رده :
B
۳۳۷۶
/
و
۹
ھ
۲ ۱۳۸۵
99. Word and Object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages - Philosophy,معنی شناسی (فلسفه),منطق ریاضی,زبان - فلسفه
رده :
B840
.
Q5
1969
100. Исследования по неклассическим логикам
پدیدآورنده : / ответственный редактор В. А. Смирнов.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,-- کنگره‌ها,معنی‌شناسی (فلسفه)-- کنگره‌ها
رده :
BC
۱۳۵
/
الف
۹ ۱۳۶۸
